Перевод: со всех языков на все языки

со всех языков на все языки

equivalent statements

См. также в других словарях:

  • equivalent — adjective Etymology: Middle English, from Middle French or Late Latin; Middle French, from Late Latin aequivalent , aequivalens, present participle of aequivalēre to have equal power, from Latin aequi + valēre to be strong more at wield Date:… …   New Collegiate Dictionary

  • List of statements undecidable in ZFC — The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice), assuming that ZFC is consistent.Functional analysisCharles Akemann and Nik Weaver showed in 2003 that the… …   Wikipedia

  • Barrel of oil equivalent — The barrel of oil equivalent (bboe, sometimes BOE) is a unit of energy based on the approximate energy released by burning one barrel of crude oil. The US Internal Revenue Service defines it as equal to 5.8 × 106 BTU [http://www.irs.gov/pub/irs… …   Wikipedia

  • Time Charter Equivalent - TCE — A shipping industry standard used to calculate the average daily revenue performance of a vessel. Time charter equivalent is calculated by taking voyage revenues, subtracting voyage expense and then dividing the entire total by the round trip… …   Investment dictionary

  • Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

  • Boolean prime ideal theorem — In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given abstract algebra. A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime… …   Wikipedia

  • set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

  • Non-Euclidean geometry — Behavior of lines with a common perpendicular in each of the three types of geometry Non Euclidean geometry is the term used to refer to two specific geometries which are, loosely speaking, obtained by negating the Euclidean parallel postulate,… …   Wikipedia

  • C++0x — is the planned new standard for the C++ programming language. It is intended to replace the existing C++ standard, ISO/IEC 14882, which was published in 1998 and updated in 2003. These predecessors are informally known as C++98 and C++03. The new …   Wikipedia

  • Elementary substructure — In model theory, given two structures mathfrak A 0 and mathfrak A, both of a common signature Sigma, we say that mathfrak A 0 is an elementary substructure of mathfrak A (sometimes notated mathfrak A 0 preceq mathfrak A [Monk 1976: 331 (= Def. 19 …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»